(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const i1 Int)
(declare-const i6 Int)
(declare-const arr-4473603937107692012_6545448070499591932-0 (Array Bool Int))
(declare-const v2 Bool)
(declare-const arr-4260642398829618842_4473603937107692012-0 (Array (Array Bool Int) Bool))
(declare-const i9 Int)
(declare-const arr-6545448070499591932_4260642398829618842-0 (Array Int (Array Bool Int)))
(declare-const arr-574184615911370404_-6157091637866307820-0 (Array (Array (Array Bool Int) Bool) (Array Int (Array Bool Int))))
(declare-const arr-4260642398829618842_4844736301564905674-0 (Array (Array Bool Int) (Array (Array (Array (Array Bool Int) Bool) (Array Int (Array Bool Int))) (Array (Array (Array Bool Int) Bool) (Array Int (Array Bool Int))))))
(assert (or (= (store arr-4473603937107692012_6545448070499591932-0 (< 823 i6) i1) (select arr-6545448070499591932_4260642398829618842-0 i9)) v2 v2))
(assert (or (= (store arr-4473603937107692012_6545448070499591932-0 (< 823 i6) i1) (select arr-6545448070499591932_4260642398829618842-0 i9)) v2 v2))
(check-sat)
